Search results for " 14B05"

showing 8 items of 8 documents

Functorial Test Modules

2016

In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X \to Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ \tau \cong \tau \circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $\tau \circ f_* \to f_* \circ \tau$.

Pure mathematicsSmooth morphismAlgebra and Number TheoryFunctor13A35 (Primary) 14F10 14B05 (Secondary)010102 general mathematicsType (model theory)Mathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciencesMathematics - Algebraic GeometryTransformation (function)0103 physical sciencesNatural transformationFOS: Mathematics010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics
researchProduct

Lenses on very curved zones of a singular foliation of C2

2018

Abstract We renormalize, using suitable lenses, small domains of a singular holomorphic foliation of C 2 where the curvature is concentrated. At a proper scale, the leaves are almost translates of a graph that we will call profile. When the leaves of the foliations are levels f = λ , where f is a polynomial in 2 variables, this graph is polynomial. Finally we will indicate how our methods may be adapted to study levels of polynomials and 1-forms in C 3 .

Isolated singularity[ MATH ] Mathematics [math]Complex curvePolynomialPure mathematics010102 general mathematicsHolomorphic functionIsolated singularityCurvature01 natural sciencesComplex foliationGraphMSC: 14H20; 14B05; 53C65; 53C120103 physical sciencesFoliation (geology)Profile010307 mathematical physicsGeometry and Topology[MATH]Mathematics [math]0101 mathematicsMathematicsTopology and its Applications
researchProduct

F-signature of pairs and the asymptotic behavior of Frobenius splittings

2012

We generalize $F$-signature to pairs $(R,D)$ where $D$ is a Cartier subalgebra on $R$ as defined by the first two authors. In particular, we show the existence and positivity of the $F$-signature for any strongly $F$-regular pair. In one application, we answer an open question of I. Aberbach and F. Enescu by showing that the $F$-splitting ratio of an arbitrary $F$-pure local ring is strictly positive. Furthermore, we derive effective methods for computing the $F$-signature and the $F$-splitting ratio in the spirit of the work of R. Fedder.

Pure mathematicsGeneral Mathematics13A35 13D40 14B05 13H10010102 general mathematicsSubalgebraLocal ringSplitting primeF-regularCommutative Algebra (math.AC)Mathematics - Commutative AlgebraF-signatureF-splitting ratio01 natural sciencesF-pureMathematics - Algebraic GeometryCartier algebra0103 physical sciencesFOS: Mathematics010307 mathematical physics0101 mathematicsSignature (topology)Algebraic Geometry (math.AG)Mathematics
researchProduct

Test module filtrations for unit $F$-modules

2015

We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit $F$-modules and prove that this filtration coincides with the notion of $V$-filtration introduced by Stadnik in the cases where he proved existence of his filtration. We also show that these filtrations do not coincide in general. Moreover, we show that for a smooth morphism $f: X \to Y$ test modules are preserved under $f^!$. We also give examples to show that this is not the case if $f$ is finite flat and tamely ramified along a smooth divisor.

Smooth morphismPure mathematicsAlgebra and Number Theory010102 general mathematicsDivisor (algebraic geometry)Commutative Algebra (math.AC)Mathematics - Commutative Algebra01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and Homology0103 physical sciencesPrimary 13A35 Secondary 14B05 14F10Filtration (mathematics)FOS: Mathematics010307 mathematical physics0101 mathematicsUnit (ring theory)Algebraic Geometry (math.AG)Mathematics
researchProduct

$V$-filtrations in positive characteristic and test modules

2013

Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this coincides with the test module filtration. We also show that the associated graded induces a functor $Gr^{[0,1]}$ from Cartier crystals to Cartier crystals supported on $V(\mathfrak{a})$. This functor commutes with finite pushforwards for principal ideals and with pullbacks along essentially \'etale morphisms. We also derive corresponding transformation rules for test modules generalizing previous results by Schwede and Tucker in the \'etale case (cf. ar…

Primary 13A35 Secondary 14B05General MathematicsType (model theory)Commutative Algebra (math.AC)01 natural sciencesCombinatoricsMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and HomologyMathematics::Category Theory0103 physical sciencesFiltration (mathematics)FOS: MathematicsClosed immersionIdeal (ring theory)0101 mathematicsAlgebraic Geometry (math.AG)MathematicsRing (mathematics)FunctorMathematics::Commutative AlgebraApplied Mathematics010102 general mathematicsMathematics - Commutative AlgebraHypersurface010307 mathematical physicsConstant sheaf
researchProduct

F-singularities via alterations

2011

For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$. Our description is in terms of regular alterations over $X$, and one consequence of it is a common characterization of rational singularities (in characteristic zero) and F-rational singularities (in characteristic $p$) by the surjectivity of the trace map $\pi_* \omega_Y \to \omega_X$ for every such alteration $\pi \: Y \to X$. Furthermore, building on work of B. Bhatt, we establish up-to-finite-map versions of Grauert-Riemenscheneider and Nadel/Kawamata-V…

General Mathematics010102 general mathematicsZero (complex analysis)Mathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciences14F18 13A35 14F17 14B05 14E15Multiplier (Fourier analysis)AlgebraMathematics - Algebraic Geometry0103 physical sciencesFOS: MathematicsGravitational singularity010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics
researchProduct

Torsion of a finite base locus

2018

We interpret geometrically the torsion of the symmetric algebra of the ideal sheaf of a zero-dimensional scheme Z defined by $n+1$ equations in an $n$-dimensional variety. This leads us to generalise a formula of A.Dimca and S.Papadima in positive characteristic for a rational transformation with finite base locus. Among other applications, we construct an explicit example of a homaloidal curve of degree $5$ in characteristic $3$, answering negatively a question of A.V.D\'oria, S.H.Hassanzadeh and A.Simis.

[ MATH ] Mathematics [math][MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC]Mathematics - Algebraic Geometry13D02 14E05 14B05 14H20[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC][MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG][MATH] Mathematics [math][MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG][MATH]Mathematics [math]Mathematics - Commutative Algebra[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG][ MATH.MATH-AC ] Mathematics [math]/Commutative Algebra [math.AC]
researchProduct

F-signature of pairs: Continuity, p-fractals and minimal log discrepancies

2011

This paper contains a number of observations on the {$F$-signature} of triples $(R,\Delta,\ba^t)$ introduced in our previous joint work. We first show that the $F$-signature $s(R,\Delta,\ba^t)$ is continuous as a function of $t$, and for principal ideals $\ba$ even convex. We then further deduce, for fixed $t$, that the $F$-signature is lower semi-continuous as a function on $\Spec R$ when $R$ is regular and $\ba$ is principal. We also point out the close relationship of the signature function in this setting to the works of Monsky and Teixeira on Hilbert-Kunz multiplicity and $p$-fractals. Finally, we conclude by showing that the minimal log discrepancy of an arbitrary triple $(R,\Delta,\b…

General Mathematics010102 general mathematicsRegular polygonMultiplicity (mathematics)Mathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciencesUpper and lower bounds13A35 13D40 14B05 13H10 14F18CombinatoricsMathematics - Algebraic GeometryFractalClose relationship0103 physical sciencesFOS: Mathematics010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics
researchProduct